Teoremes -- Demostració automàtica

Llistar Títols per Matèria "Teoremes -- Demostració automàtica"

S'han trobat 4 ítems

Llistant ítems des de 0 a 4:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 juny 2016 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
out url icon Recercat Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jimenez, Jesùs M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 gener 2015 Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jiménez, Jesús M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
  1   

Matèries

Autors